projective axioms of order

射影次序公理